Valuation theory of exponential Hardy fields
نویسنده
چکیده
In this paper, we analyze the structure of the Hardy fields associated with o-minimal expansions of the reals with exponential function. In fact, we work in the following more general setting. We take T to be the theory of a polynomially bounded o-minimal expansion P of the ordered field of real numbers by a set FT of real-valued functions. We assume that the language of T contains a symbol for every 0-definable function. Further, we assume that T defines the restricted exponential and logarithmic functions (cf. [D–M– M1]). Then also T (exp) is o-minimal (cf. [D–S2]). Here, T (exp) denotes the theory of the expansion (P, exp) where exp is the un-restricted real exponential function. Finally, we take any model R of T (exp) which contains (R,+, ·, <,FT , exp) as a substructure. Then we consider the Hardy field H(R) (see Section 2.2 for the definition) as a field equipped with convex valuations. Theorem B of [D–S2] tells us that T (exp) admits quantifier elimination and a universal axiomatization in the language augmented by log. This implies that H(R) is equal to the closure of its subfield R(x) under FT , exp and its inverse log; here, x denotes the germ of the identity function (cf. [D–M–M1], §5; the arguments also hold in the case where R is a non-archimedean model). We shall analyze the valuation theoretical structure of this closure by explicitly showing how it can be built up from R(x) (cf. Section 3.3). Our construction method yields the following result (see Section 3.4 for definitions):
منابع مشابه
Valuation theory of exponential Hardy fields I
In this paper, we analyze the structure of the Hardy fields associated with o-minimal expansions of the reals with exponential function. In fact, we work in the following more general setting. We take T to be the theory of a polynomially bounded o-minimal expansion P of the ordered field of real numbers. By FT we denote the set of all 0-definable functions of P . Further, we assume that T defin...
متن کاملValuation theory of exponential Hardy fields I ∗ Franz - Viktor and Salma Kuhlmann
In this paper, we analyze the structure of the Hardy fields associated with o-minimal expansions of the reals with exponential function. In fact, we work in the following more general setting. We take T to be the theory of a polynomially bounded o-minimal expansion P of the ordered field of real numbers. By FT we denote the set of all 0-definable functions of P . Further, we assume that T defin...
متن کاملResidue fields of arbitrary convex valuations on restricted analytic fields with exponentiation
In their paper [D–M–M2], van den Dries, Macintyre and Marker give an explicit construction of a nonarchimedean model of the theory of the reals with restricted analytic functions and exponentiation. This model, called the logarithmic exponential power series field, lies in a generalized power series field. They use the results of Ressayre and Mourgues about truncation-closed embeddings to answe...
متن کاملA ug 1 99 7 The exponential rank of nonarchimedean exponential fields
Based on the work of Hahn, Baer, Ostrowski, Krull, Kaplansky and the Artin-Schreier theory, and stimulated by the paper [L] of S. Lang in 1953, the theory of real places and convex valuations has witnessed a remarkable development and has become a basic tool in the theory of ordered fields and real algebraic geometry. Surveys on this development can be found in [LAM] and [PC]. In this paper, we...
متن کاملFINITE FIELDS AND APPLICATIONS Characters and character sums (9 lectures)
Exponential sums and character sums have many applications in number theory and combinatorial number theory. Many famous and interesting problems have been studied by means of exponential sums techniques: Goldbach ternary conjecture (Vinogradov), Waring Problem (Hardy, Littlewood, Vaughan, Vinogradov, Wooley), Distribution of prime numbers (Ford, Hardy, Korobov, Linnik,...) as well as many othe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012